- axiomatic approach
- аксиоматический подход

*English-Russian dictionary of computer science and programming.
2013.*

- axiomatic approach
- аксиоматический подход

*English-Russian dictionary of computer science and programming.
2013.*

**Axiomatic semantics**— is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic. Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the… … Wikipedia**Axiomatic system**— In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… … Wikipedia**Axiomatic product development lifecycle**— The Axiomatic Product Development Lifecycle (APDL) model was developed by Bulent Gumus in 2005. This new model is based on the Axiomatic Design method developed by MIT Professor Nam P. Suh (1991); hence it inherits the benefits of applying the… … Wikipedia**science, philosophy of**— Branch of philosophy that attempts to elucidate the nature of scientific inquiry observational procedures, patterns of argument, methods of representation and calculation, metaphysical presuppositions and evaluate the grounds of their validity… … Universalium**mathematics**— /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium**set theory**— the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium**Philosophy of mathematics**— The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia**Complexity**— For other uses, see Complexity (disambiguation). In general usage, complexity tends to be used to characterize something with many parts in intricate arrangement. The study of these complex linkages is the main goal of complex systems theory. In… … Wikipedia**Temperature**— This article is about the thermodynamic property. For other uses, see Temperature (disambiguation). A map of global long term monthly average surface air temperatures i … Wikipedia**Algorithmic information theory**— is a subfield of information theory and computer science that concerns itself with the relationship between computation and information. According to Gregory Chaitin, it is the result of putting Shannon s information theory and Turing s… … Wikipedia**History of the Church–Turing thesis**— This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia